二根が現れるなら異なる成分 x1,x2x_1,x_2x1,x2 を選ぶ。ヴィエタよりその積は ttt である。4成分全体の積も ttt なので残りは x3x4=1x_3x_4=1x3x4=1 を満たす。残りも異なるなら積も ttt となり、t=1t=1t=1 から重根となって矛盾する。よって x3=x4x_3=x_4x3=x4 で x32=1x_3^2=1x32=1 である。