for Q being multLoop st Q is AIM holds
lp (Nucl Q) is normal