Subset is Compatible with Ordinal Successor/Proof 1

Proof
The last part is a contradiction, so $y^+ \notin x^+$.

By Ordinal Membership is Trichotomy:
 * $x^+ \in y^+$