[math-fun] Proof that 0^0 = 1