theorem Th6: :: POLYFORM:7

4 is even