Li-Fan Chen
says to
YSITD
第二點的定義永遠不可能影響第一點