宇強 黃
says to
YSITD
除非有說可以假設哪些性質已經被證明 不然不能用xD