theorem Th5: :: POLYFORM:6
3 is odd