theorem 2splita: :: FIELD_10:36

X^2-2 = (X- 2-Root(2)) * (X+ 2-Root(2))