The above alternative formulation has key properties as described in the following Theorem 4.