Li-Fan Chen says to YSITD
我覺得可以用消去法