Li-Fan Chen says to YSITD
1-1的比例線段就可以證了好嗎