theorem Th66: :: ORDINAL6:66

for a, b, c being Ordinal holds a in Tarski-Class ((a \/ b) \/ c)