9.1.1 Ba­sic vari­a­tional state­ment