Diciassette

Poiché 17 è un numero primo, possiamo moltiplicare le espressioni per qualunque numero che non sia multiplo di 17 senza cambiare lo status di divisibilità. Quindi u è divisibile per 17 se e solo se lo è 4u=8x+12y; ma sommando quest'ultima espressione a v otteniamo 17x+17y che è sicuramente multiplo di 17. Pertanto v è multiplo di 17 se e solo se u lo è.

Un'ultima parola

Credo che questo problema sia stato costruito usando al rovescio questa dimostrazione: buffo, no?