lagen antages , idet