theorem
for a being non square Element of F holds MinPoly(sqrt a,F) = X^2-a by m30;
