原推：@bengrossbg @upzone_CA The most natural way to define exponentiation `x^p` for non-negative integer `p` is to start with 1, and then repeat `p` times the procedure of replacing the output with `x` times the output.
https://twitter.com/VitalikButerin/status/1572200417412665345