Además la forma cuadrática anterior es definida positiva, lo que implica que "EG-F" > 0.