=== Euler identity ===
