テンプレート:End/subproof