der man började nied tillämpningen och derefter uttalade sig örn satsernas rigtighet.