 Galerkin orthogonality

If $u$ solves a variational problem and $u_h$ is its conforming Galerkin method approximation in $V_h$, thenfor every $v_h\in V_h$.