>>116
ということは必要条件の証明の進め方はないんですか?