Backward substitution in a triangular system (source code)

= Backward substitution in a triangular system

Backward substitution solves an upper-triangular system from its last row upward.