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