Equivalence of Definitions of Reachability Relation

Proof
This follows immediately from Equivalence of Definitions of Reachable.