Composition of Commuting Idempotent Mappings is Idempotent/Proof 1