Subset Relation is Transitive/Proof 1