Allen Chou says to YSITD
f_x f_y 存在只是可微的條件之一