Li-Fan Chen
says to
YSITD
然後剛剛那三條是讓 「=」 這個符號符合等價關係的要求