が三角で可逆なら後退代入が容易であることを示せ。