일 때 적어도 n-k개의 r_i가




를 만족한다는데 이게 왜이런거냐