prouve leur inexistence