三角形三色問題
二項係数の剰余による証明で、パスカルの三角形の値を mod 3 としたものを使う。代数学ではLucasの定理としても有名。