Ordinal is Transitive/Proof 2