Derivative of Constant

Theorem
Let $$f_c \left({x}\right)$$ be the constant function on $$\mathbb{R}$$, where $$c \in \mathbb{R}$$.

Then $$f_c^{\prime} \left({x}\right) = 0$$.

Proof
The function $$f_c: \mathbb{R} \to \mathbb{R}$$ is defined as $$\forall x \in \reals: f_c \left({x}\right) = c$$.

Thus:

$$ $$ $$ $$