Στο συγκεκριμένο παράδειγμα, ναι, μπορείς να κάνεις ανάδρομη αντικατάσταση με τα x4 και x3 και μετά να ασχοληθείς με το x1. Όμως γενικά αν είχες κάποια ελέυθερη μεταβλητη σε κάποια άλλη εξίσωση (π.χ. στην τελευταία), τότε δεν θα γινόταν αυτό. Επίσης ελεύθερη μεταβλητή, εν γένει, μπορεί να εμφανίζεται σε παραπάνω από μια εξισώσεις.
Ελπίζω να βοήθησα!