Description: No class is a member of itself. Exercise 6 of TakeutiZaring p. 22. Theorem 1.9(i) of Schloeder p. 1. (Contributed by NM, 7-Aug-1994) (Proof shortened by Andrew Salmon, 9-Jul-2011)