verifikasi turunan