証明のガイドライン作成完了