Complex Proofs Of Real Theorems