theorem Th48: :: MSAFREE4:48

for S being non empty non void ManySortedSign
for X being non-empty ManySortedSet of S
for A2 being b₂,b₁ -terms all_vars_including inheriting_operations MSAlgebra over S holds (canonical_homomorphism A2) ** (canonical_homomorphism A2) = canonical_homomorphism A2