Du hast
$$ 111^2 - 277^2 = (111+277)(111-277) \equiv 0 \mod (8051) $$
Das heißt \( (111+277)(111-277) \) ist ein ganzzahliges Vielfaches von 8051. Also
$$ 388 \cdot (-166) = k \cdot 8051 \text{ für ein } k \in \mathbb Z $$
Jetzt kann man schauen ob die beiden Faktoren 388 und 166 einen nichttrivialen gemeinsamen Teiler mit 8051 besitzen. z.B. indem man den größten gemeinsamen Teiler berechnet.