for a, b being odd Integer st a - b is square holds
not a + b is square