Li-Fan Chen says to YSITD
是代數證明