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