theorem :: NEWTON06:47

for a being odd Integer
for b being even Integer st a,b are_coprime holds
((a - b) * (a + b)) gcd ((2 * a) * b) = 1