a proposito di INDAM

[matteo16]

Penso volesse dire questo:

Sia $ p $ un primo che divide entrambi $ m, m+3 $.

Allora $ m\equiv 0 \pmod{p}, \ m+3 \equiv 0\pmod{p} $.

Dalle due congruenze ottengo $ 3\equiv 0 \pmod{p} $. Cioè solo $ p=3 $ può essere il loro divisore comune.

esatto sì