このときformula_9のformula_17-細な点付き分割が存在することを示そう。