Define picard theorem