Definition:Leading Coefficient (Polynomial)