A question about Grover's paper "Fixed-Point Quantum Search"

I am reading Grover’s paper "Fixed-Point Quantum Search," (arXiv version with a different name) which improves on his earlier quantum research algorithm. However, I’m having difficulty in understanding some argument. How can we derive the first display on pp.4 from the last equation on pp.3 of the arXiv version. Many thanks!