Can you summarize the following document?
        
  

  皮卡小定理說明,如果複變函式formula_1是整函式且不是常數,則formula_1的值域或者是整個複平面,或者只去掉一個點。 這個定理在1879年證明。它強化了劉維爾定理:任何不是常數的整函式都一定是無界的。  皮卡的原始證明利用了模函式(Modular lambda function)。證明概要如下:若formula_1的值域不包含複平面上的兩個點,不失一般性地,可以假設formula_1的值域不包含0和1,設formula_5是其值域中的點,在這個點附近,可以選取模函式formula_6的逆的某個單值解析分支,記作formula_7。利用模函式的通用覆蓋性和單值性定理,可以將formula_8點(formula_9)附近定義的複合對映formula_10解析延拓到整個複平面上,從而得到一個在複平面上單值解析但有界的函式。根據劉維爾定理,該函式為常函式。因此formula_1也是常函式。

  皮卡大定理說明,如果formula_1在點formula_13具有本性奇點,那麼在任何含有formula_13的開集中,formula_1都將取得所有可能的複數值,最多隻有一個例外。 這個定理強化了魏爾施特拉斯-卡索拉蒂定理,後者只保證了"f"的值域在複平面內是稠密的。
皮卡定理是兩個不同的數學定理的泛稱,由法國數學家埃米爾·皮卡證明。這兩個定理都涉及解析函式的值域。