A Strong Abhyankar–Moh Theorem and Criterion of Embedded Line

The condition of plane polynomial curve to be a line in well-known Abhyankar–Moh Theorem is replaced by weaker ones. A Criterion of Embedded Line is obtained from this strong theorem: Two polynomials can generate the entire polynomial ring iff their derivatives can be generated.