Verifying a Well-Known Formula