theorem :: NEWTON05:85

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