1.It is easy to see that~
2.proof:left as an exercise 7.2.4
3.(why?)
저거 세개 보이면 한숨부터나옴