Det nu anförda innebär följande .