integrate verify_solution() into `prove`