
theorem
Roots X^2-2 = {};
