³We assume that n ≥ 2, so that n is either composite or prime.