This can be tested by taking square, cubic, ..., formula_11-roots of formula_1, for formula_13, and checking that none of these is an integer.
: formula_12formula_13 — случайный параметр, такой что formula_14 и formula_15, formula_16 — наибольший общий делитель.