Description: Expansion of membership in an intersection of two classes. Theorem 12 of Suppes p. 25. (Contributed by NM, 29-Apr-1994)