Verify via Sylvester criterion that is SPD