Li-Fan Chen
says to
YSITD
從對稱性跟傳遞性不就可以推出自反性ㄌ