elementary set theory - How to show $(a^b)^c=a^{bc}$ for arbitrary cardinal numbers?

One of the basic (and frequently used) properties of cardinal exponentiation is that $(a^b)^c=a^{bc}$.

What is the proof of this fact?

As Arturo pointed out in his comment, in computer science this is called currying.