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