Däraf måste följa ,att