Π(X±√2±√3±√5) (符号の選び方は8通りで,8個の因子の積)
これがXを不定元とする整数係数多項式となることを証明せよ