非零多项式都是首1多项式。()
出自:兰州工业大学线性代数