picards little theorem