[math-fun] Is this true?