> Σ [1≦k≦a-1] r(k)/(ak) ≧ (a-1)/a

>を示せば十分である。

なんでこのケースだけ示せば十分なんですか?