Complex Proofs of Real Theorems by Peter D. Lax & Lawrence Zalcman