lag följer alltså som korollarium ,att