Picard's own proof of his theorem, I remember, should have been long, and modern easy proofs have been produced.