Dane są takie liczby całkowite dodatnie
i
, że
. Wykazać, że
jest kwadratem liczby całkowitej.
Niech
będzie największym wspólnym dzielnikiem liczb
i
. Wówczas
, a zatem
. Stąd wobec podzielności
oraz
otrzymujemy
.
Z drugiej strony,
, skąd uzyskujemy podzielność
. Zatem
jest wspólnym dzielnikiem liczb
i
. To oznacza, że największy wspólny dzielnik liczb
i
, który jest równy
, jest podzielny przez
. Wobec wyżej udowodnionej podzielności
otrzymujemy
.