정리 자체는 직관적으로 아는데 증명이 뭔소리하는건지 모르겠음 갑자기 m이 -k보다 크다고 왜 m-1이 집합 K에 포함됨?