provjera izvedenice