en fullt bekräftad sats ,att