Proof of Euler's identity