Li-Fan Chen
says to
YSITD
等等 原來他不會把 proofB 印出來喔