theorem Th57: :: AIMLOOP:60

for Q being multLoop
for x, y being Element of Q holds L_MAP (x,y) in InnAut Q