postopek preverjanja izpeljave