王 彥
says to
YSITD
還可以用數學定義來推翻另一個定義