slln 증명 보는데 ㄹㅇ truncation 부터 시작해서 맘에 와닿질 않는다