Stav dette: Teorema: