1: \begin{proof}[Proof of Corollary \ref{cor:mgGP}]

2: \label{apx:mgGP}

3: $f_\ell(t)$ can be viewed as infinite weighted sum of GP $f(\bx, t)$ thus becomes another GP.

4: This can be made rigorous by

5: approximating $\phi_\ell(\bx)$ with a sequence of simple functions $\phi_{n,\ell}=\sum_{i=1}^n a_i \bm{1}_{A_i}$ with disjoint $\{A_i\}$:

6: \begin{equation*}

7: f_\ell(t) =  \int_\mX f(\bx, t) \phi_\ell(\bx) d\bx = \lim_{n\to+\infty} \int_\mX f(\bx, t) \phi_{n,\ell}(\bx) d\bx = \sum_{i=1}^\infty a_i \int_{A_i} f(\bx, t) d\bx

8: \end{equation*}

9: Note for $\forall t\in\mT$, $f_{A_i}(t):=\int_{A_i} f(\bx, t) d\bx$ coincides with the Riemann integral.

10: Thus $\{f_{A_i}(t)\}$ are jointly normal as a limit of (Riemann) sum of (weighted) joint Gaussian random variables.

11: Therefore $f_\ell(t)$ is normal for any fixed $t\in\mT$. The same argument applies to $\bt=(t_1,\cdots, t_k)$ replacing $t$.

12: Thus it concludes the proof.

13: \end{proof}

14: