Let $f : \mathbb{R}^{N \times 1} \to \mathbb{R}^{M \times 1}$ be a D4363: Euclidean real function such that

(i)	\begin{equation} \exists \, A \in \mathbb{R}^{M \times N} \text{ and } b \in \mathbb{R}^{M \times 1} : \forall \, x \in \mathbb{R}^{N \times 1} : f(x) = A x + b \end{equation}

Let $L : \mathbb{R}^{N \times 1} \to \mathbb{R}^{M \times 1}$ be a D4364: Real function such that

(i)	\begin{equation} \forall \, x \in \mathbb{R}^{N \times 1} : L(x) = A x \end{equation}

Then $L$ is a D111: Euclidean real function derivative for $f$ on $\mathbb{R}^{N \times 1}$.