
theorem
Roots X^2+X+1 = {};
