[math-fun] Can someone "shew that"