INTEGERS
id:integers
フェルマーのクリスマス定理
「フェルマーのクリスマス定理」という名称の勧め。円周率の無理性証明つき。