theorem Th4: :: POLYFORM:5

2 is even