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