showgan@tg
says to
YSITD
他不是定理ㄇ 定理還有我證喔