Alla dessa följa härutinnan sammagrundsats