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