けんき says to YSITD
偏微x,y bounded => f conti conti diffable