theorem Th64: :: AIMLOOP:67

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