Montre que si A est triangulaire inversible, la substitution arrière est facile