On the other hand, if the original three connections  were all red instead of blue, the same argument still works,  with all the colors flipped.
D'un autre côté, si les trois connexions initiales étaient rouges et non bleues, le même argument fonctionne avec les couleurs inversées.