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