임의의 자연수 $n$은 다음 여섯 개의 합동식 중 적어도 한 개를 만족함을 보여라.
\[n \equiv 0\pmod{2}, n\equiv 0 \pmod{3},n\equiv 1\pmod{4}, \]\[n \equiv 3 \pmod{8}, n\equiv 7 \pmod{12}, n\equiv 23 \pmod{24}.\]
(1997년 10월 12일, 출처)