Category:Composition of Commuting Idempotent Mappings is Idempotent