Häraf måste då följa ,att