Equality of Ordered Triples/Proof 2