f,g yukaridaki gibi olsun. O zaman f=a/b ve g=c/d olacak sekilde a,b,c,d holomorf fonksiyonlari vardir. 0 zaman h=ad−bc dersek, bu holomorf fonksiyon S uzerinde 0'a esittir. (sonsuz tane koku oldugundan) h=0 olmak durumundadir, W uzerinde. O zaman W uzerinde f=g.