theorem Th50: :: AIMLOOP:53
for Q being multLoop holds
( 1. Q in [#] (lp (Cent Q)) & 1. Q in Cent Q )