사진은 없어서 ㅈㅅ..
4.1.9의 세련된 증명을 보면 L<S> <= <LS>는 당연하다고 하고 넘어가는데, 왜 그런 건가요?