Li-Fan Chen
says to
YSITD
從 HA 中可以推導出 1 + 1 =2