On a nonconvex MINLP formulation of the Euclidean Steiner tree problem in n-space: missing proofs

We supply proofs for a few key results concerning smoothing square roots and model strengthening for a mixed-integer nonlinear-optimization formulation of the the Euclidean Steiner tree problem.