「微分可能である」ことは「導関数の両側極限が等しい」ことと同値だと思うのですが、正しいですか？
　　　　　　　　　　　　　　　　~~~~~~~~~~
良ければ証明もお願いします。