K
hovanskii_
T
heorem
FiniteProduct
Khovanskii