だから判定のための必要十分条件が全然自明じゃないよねって話なんだけど
元はABC-Fに置かれるレベルだろ