for t, u, z being Integer st t,z are_coprime & t,u are_coprime & t is even holds
( u + z is even & u - z is even & u * z is odd )