Transitive Closure Always Exists (Relation Theory)/Proof 2