showgan@tg
says to
YSITD
他又不是定理（？