Jeśli n nie jest kwadratem liczby pierwszej, to n=pq gdzie 1<p<q<n, i teza zachodzi, bo w iloczynie (n-1)! zarówno p jak i q występuje.
Jeśli n jest kwadratem liczby pierwszej: n=p^2, to teza też zachodzi, bo n>2p+1, a to oznacza że wśród liczb 1, 2, ..., p^2-1 wystąpi p oraz 2p.
