https://1library.org/document/oy89jv5q-an-automatic-proof-of-euler-s-formula.html