Li-Fan Chen
says to
YSITD
這兩條配合剛剛定義的東西就可以拿來運算所有自然數的加法ㄌ