Fix proof of theorem 7.7.4

Add a word on equality of transport paths in the proof of theorem 7.7.4