テンプレート:解析概論/claim-end