It is not difficult to see that there exists a bijection f from complete computations of A to complete derivations of G , and that we have for each complete computation c. Thus (G , p G ) is consistent.
note that (G , p G ) is not proper.