Solution (source code)

= Solution

\b[True.] <Differentiability implies continuity>.