Exercise algebra.equations.quadratic.no-abc

Description
solve a quadratic equation without abc-formula

Derivation

x^2-7 == 0

⇒ algebra.equations.quadratic.no-lin

x^2 == 7

⇒ algebra.equations.coverup.power

x == sqrt 7 or x == -sqrt 7