けんき says to YSITD
因為fx fy皆diffable 所以 f diffable