フェルマーの小定理の組み合わせ論的証明キック