State/Every arc of river is finite

 =Proof=