[math-fun] Does 1=1?