theorem Th21: :: MOEBIUS1:21

0 is square-containing