A pozitív szemidefinitség definíciójának teljesülését ellenőrizzük.
(Sylvester-tétel vagy egyéb jellemzések helyett.)