theorem Th20b: :: AIMLOOP:21

for Q being multLoop holds 1. Q in Nucl_m Q