Prove result relating single-step eval to existence of actions in graphs