RE: Proof #23 using Wolfram Alpha