이 정리가 뭘 의미하는지는 알겠는데

수학적 귀납법은 모든 자연수에 대해서 참인거를 보이는 거잖아
저거대로 증명을 쭉 하면 모든 자연수에 대해서 참이라는 결론이 나오는데
저 정리에서 m이 0,1,2,… 일때 참이라는게 뭔소리인지 모르겠어
집합 L이 계속 변하는거임?