Comprendre le mécanisme de la preuve

Dans la démonstration de Fourier, on suppose $e = \dfrac{p}{q}$ et l'on pose $N = q!\,\left(e - S_q\right)$. Quelles affirmations sont exactes ?