Category:Inverse of Transitive Relation is Transitive