Transitive Closure Always Exists (Relation Theory)/Proof