This document contains all the proofs of the paper “The Analytic Theory of a Monetary Shock”. The document also contains two applications of the method developed in the paper for Multiproduct firms and for a general random fixed cost problem.