Licson Lee
says to
YSITD
接着用 transitivity 來證明