Using resultants for SAGBI basis verification in the univariate polynomial ring

A resultant-type identity for univariate polynomials is proved and used to characterise SAGBI bases of subalgebras generated by two polynomials. A new equivalent condition, expressed in terms of the degree of a field extension, for a pair of univariate polynomials to form a SAGBI basis is derived.