テンプレート:代数的整数論/proof-end