theorem Th3: :: POLYFORM:4

1 is odd