Appendix of Deep Stochastic Processes via Functional Markov Transition Operator A Proofs