-3 congruent 1 (mod 4)