theorem Th20a: :: AIMLOOP:20

for Q being multLoop holds 1. Q in Nucl_l Q