え、これって、どうやっても少なくとも1点は残ってしまうことを
いかにうまく証明するかという話じゃないの?