Pq Parallel Ab Pr Parallel Ac Prove Qr Parallel Bc