Li-Fan Chen
says to
YSITD
這條之後的證明長這樣