Therefore, if Vx−φx can be expressed as SOS, it is guaranteed that Vx is positive definite too.
Por lo tanto, si Vx−φx puede ser expresado como una suma de cuadrados, se garantiza que Vx es definida positiva también.