Μικρό θεώρημα Picard: Αν
είναι μη σταθερή μιγαδικώς παραγωγίσιμη (complex differentiable) συνάρτηση, τότε έχει πεδίο τιμών είτε όλο το μιγαδικό επίπεδο, είτε όλο το μιγαδικό επίπεδο πλην ενός μόνο σημείου.Μπορείτε να θεωρήσετε αυτό το θεώρημα ώς δεδομένο. (Σας εγγυόμαι ότι το λάθος δεν είναι στο θεώρημα.)
Παίρνω τώρα την
. Είναι σίγουρα μιγαδικώς παραγωγίσιμη. Επειδή η σύνθεση μιγαδικώς παραγωγίσιμων συναρτήσεων είναι μιγαδικώς παραγωγίσιμη, τότε και η
είναι μιγαδικώς παραγωγίσιμη. Σίγουρα η f δεν είναι σταθερή. Επειδή δεν υπάρχει z ώστε
, τότε τα 0 και 1 δεν ανήκουν στο πεδίο τιμών της f. Αυτό είναι άτοπο εκτός εαν 0=1.

.