theorem PYTHTRIP10: :: NEWTON05:35

for a, b being Integer holds
( not a,b are_coprime or a is odd or b is odd )