Jeśmanowicz' conjecture with congruence relations
Let a,b and c be relatively prime positive integers such that a²+b² = c². We prove that if and for some non-negative integer r, then the Diophantine equation has only the positive solution (x,y,z) = (2,2,2). We also show that the same holds if c ≡ -1 (mod a).