Now F is greater than or equal to G. [Not: “greater or equal to G'', “greater or equal G'', nor “greater or equal than G'']
The point is that the operator is now much easier to analyse than is the case in the original setting of the space B.
Part of the conclusion is that F moves each z closer to the origin than it was.