theorem Th54: :: AIMLOOP:57

for Q being multLoop holds lp (Cent Q) is normal