Let's look at the case where a reaction vector in the complement of the region can be extended back into the region. The complement of the region is that space outside the region.
We know that this point can be achieved by using a CSTR. The feed to this CSTR lies inside the region and so is feasible. Thus it is possible to further extend the region and we have not yet found the AR.
