Sì, direi che è corretto. Il succo è che Gauss fornisce immediatamente un po' di vettori che vanno bene (quelli con i pivot), ma non esclude immediatamente gli altri. In questo esempio si poteva dire subito che il quarto ed il quinto devono sopravvivere entrambi, perché altrimenti le ultime due righe avrebbero avuto al più un pivot, il che non è buono. Per vedere poi che dei primi 3 si poteva eliminare uno qualunque bisogna fare qualcosa in più, come nella tua soluzione.

Aggiungo che facendo gli esercizi di Generatori e Span 1 e 2 la cosa dovrebbe chiarirsi ampiamente, specie nelle situazioni in cui i vettori da eliminare sono 2. Un motivo in più per farli  <!-- s:lol: --><img src="{SMILIES_PATH}/icon_lol.gif" alt=":lol:" title="Laughing" /><!-- s:lol: -->.