Variational Procedures and Convergence of Finite-Element Methods