Solution (source code)

= Solution
{c}

For real scalars $\alpha,\beta$ and matrices $A,C,B$, distributivity of <matrix multiplication> and linearity of the <trace> give
$$
\varphi(\alpha A+\beta C,B)
=\operatorname{tr}(\alpha AB+\beta CB)
=\alpha\varphi(A,B)+\beta\varphi(C,B).
$$
Thus \b[$\varphi$ is linear in its first argument].