Definition:Minimum Polynomial