Euler's Formula/Real Domain/Proof 6