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