>>643
反例を出したからだな
しかしそれも含まれると証明になる