なんか回りくどい書き方になったな。
要するに、実数全体を x＜-1 , -1≦x＜0 , 0≦x＜1 , 1≦x の4つの区間に分けると
5つの実数のうち2つ以上を含む区間が必ず存在するよってこと。