If $a$ and $b$ are positive integers, and you make the definition
$$ a \cdot b = \underbrace{a + \cdots + a}_{b \text{ times} }$$
then it's a slightly surprising fact that $a \cdot b$ is actually equal to $b \cdot a$.