theorem Th56: :: AIMLOOP:59

for Q being multLoop
for x being Element of Q holds T_MAP x in InnAut Q