theorem Th49: :: GROUP_1:50

for L being non empty unital multMagma
for x being Element of L holds (power L) . (x,1) = x