thus deg ((FAdj ((Z/ 2),{alpha})),(Z/ 2)) = deg (MinPoly (alpha,(Z/ 2))) by FIELD_6:67
.= 2 by lemZ2min, qua4 ; :: thesis: verum