Li-Fan Chen
says to
YSITD
你有寫過邏輯自然演繹法證明ㄇ 寫過的話就知道證明的過程就是把複雜的命題拆解成廢話啊