[math-fun] Amazing appearances of 7