for Q being multLoop holds [#] (lp (Cent Q)) = Cent Q