This is the result of Checkpoint 1.
`Ftext[(]t text[)]=Gtext[(]t text[)]+C` for all `t` in `[a,b]` — in particular for `t=b`.
We know that `C=-Gtext[(]a text[)]`.
This is the result of substituting from the third line into the first.