Category:G-Tower is Well-Ordered under Subset Relation