theorem Th1: :: COMPLEX3:9

for a being non heavy Complex holds
( a is light or a is weightless )