Hadamard's Three-Lines Theorem