theorem Th2: :: JORDAN12:2
1 is odd