let A be Ordinal; :: thesis: Tarski-Class A is universal
set M = Tarski-Class A;
thus ( Tarski-Class A is epsilon-transitive & Tarski-Class A is Tarski ) by CLASSES1:27; :: according to CLASSES2:def 1 :: thesis: verum