Prove that x ∈ Rⁿ solves the linear system A x = b if and only if x^T A^T v = b^T v for all v ∈ R^m. The latter is known as the weak formulation of the linear system, and its generalizations are of great importance in the study of differential equations and numerical analysis, [61].