If a|(b+c) and a|(b-c) where a, b, c `in` N then,
`b^2 -= c^2 (mod a^2)`
`a^2 + c^2 = b^2`
`a^2 -= b^2 (mod c^2)`
`c^2 -= a^2 (mod b^2)`
doesnt make sense