Man kan betrakta följanderegel