RE: [math-fun] Amazing appearances of 7