In this paper we study the proof for Picard's Theorem presented in Complex Analysis (Ahlfors, 1979). To this end, we make a study of the lambda modular function, some of its properties, and the Monodromy Theorem, a result coming from concepts related to the analytic continuation of functions.