sentence1: Ceci est négatif pour toutes les formules non négatives 63 si les deux chambres ont un type métrique.
sentence2: Ceci est non négatif pour toutes ces formules _ 63 si et seulement si les deux espaces métriques ont un type négatif.