Transitivity of parallelism