Formulation of variational theorems in geometrically nonlinear elasticity