Adicionada e testada back_substitution