微分可能なら連続である
連続なら微分可能である