Appendices for PLUGIn: A simple algorithm for inverting generative models with recovery guarantees A Some Results on Gaussian Matrices