Official solution
p = function is differentiable at a
q = function is continuous at a
Contrapositive of statements p \[ \to \] q is
\[ \sim \]q \[ \to \] \[ \sim \]p
\[ \therefore \] Contrapositive statement is :
If a function f is not continuous at a, then it is not differentiable at a.