theorem :: E_TRANS1:9

for f being Element of the carrier of (Polynom-Ring F_Rat) holds not Product (denomi-seq f) is zero