theorem Th50: :: AIMLOOP:53

for Q being multLoop holds
( 1. Q in [#] (lp (Cent Q)) & 1. Q in Cent Q )