lk-proto での最初の課題、フェルマーの小定理とか難しい事言わないで、2 + 2 = 4 ぐらいに設定した方が良さそうだ