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