Definition:Solution to Polynomial Congruence