
theorem
Z/2 is SplittingField of X^2
proof
A: X^2.0 = 0.(Z/2) by qua1;
<%1.(Z/2), 1.(Z/2), 1.(Z/2)%>.0 = 1.(Z/2) by qua1;
hence thesis by A,z26;
end;
