Li-Fan Chen
says to
YSITD
假設環前長度 x，環長度 c