3次式の因数分解の一意性を証明したいのですがどのようにしたら良いでしょうか。