Li-Fan Chen
says to
YSITD
只要符合 1. xRx 2. xRy => yRx 3. xRy, yRz => xRz