Här bekräftas satsen ,att