theorem Th1: :: ALGGEO_1:1

for L being non trivial right_complementable well-unital distributive add-associative right_zeroed doubleLoopStr
for n being Ordinal holds Support (0_ (n,L)) = {}