Full bewisning kan ädagaläggas.