No definitions found for prove