Let be an holomorphic function on a region containing the closure of the disk , such that and . Then there is a disk such that is injective on and contains a disk of radius .