Li-Fan Chen
says to
YSITD
1+1=2是可以拆解成更細的證明的