A Shorter Proof of Euler's Formula · HackerTrans