verify jacobi result