Däraf måste väl följa ,att