>>580
----------------------------
背理法
全微分可能とせよ

 … >>575,579 の議論
α=f_x
… 解答にあった >>566 の議論
最後に矛盾

よって全微分不可能
-------------------------------

背理法の仮定で途中でα=f_x を得るのだから何の問題も無い