Wat is de definitie van impliciet bewijs?