Appendix: Understanding Hyperdimensional Computing for Parallel Single-Pass Learning A Proofs of Lemmas, Statements and Theorems