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