Li-Fan Chen
says to
YSITD
整個命題沒有自相違背