Variational theorem proof: general case