I have a problem with verification of a simple consistency problem in the sinppet below. Namely I do not know what should I check in the table in the second snippet for the claim in the first snippet that the table is $CG-$consistent. The verification can be left to me but I need a hint what equations should I verify for $E=200$ and $E=300$,say.
EDIT The following should be used in reply to my question:
