As an edge case the result is true for ; assume . Apart from self-inverse elements, the units modulo come in pairs where each pair multiplies to modulo ; a self-inverse element satisfies . By the lemma above, the only self-inverse elements are and , so the remaining units of come in inverse pairs. Hence