Re: [math-fun] Prove it's defined?