Explicitni dukaz