Wrote down the proof of vanishing lines.