A Path and Node Transitivity Theorem A.1. For (v