ある区間の個数を数える・長さを計算する時はしっかり証明する