använder det i första rummet att bevisa,