prop_quadratic :: Nimber -> Nimber -> Bool
prop_quadratic p q =

prop_quadratic :: Nimber -> Nimber -> Nimber -> Bool
prop_quadratic p q r =

        && (r - x) * (r - y) == sqr r + p * r + q
        && x <= y

solveQuadratic p q = let x = p * artinSchreierRoot (q / sqr p) in (x, x + p)

solveQuadratic p q = let x = p * artinSchreierRoot (q / sqr p) in (min x $ x + p, max x $ x + p)