12.3 Back substitution