Nonlinear Optimization Proofs and Theorems