Dunque, sulla seconda mi hai convinto.

Sulla prima molto meno, e ora mi spiego. Il minore ++0 basta da solo ad escludere ++----. Infatti questa segnatura implicherebbe l'esistenza di un sottospazio di dimensione 4 su cui la forma sarebbe definita negativa, ma allora questo spazio intersecherebbe quello di dimensione 3 corrispondente al primo minore, sul quale dunque ci sarebbe almeno una direzione di negatività, che invece non c'è. Spero che questo ragionamento sia chiaro.

Sembrerebbe di aver concluso ancora più facilmente, ma in realtà non è così perché ... e qui lascio a voi il piacere della scoperta!