theorem m105: :: FIELD_9:70

for F being Field
for a, b being Element of F st b ^2 = a holds
eval ((X^2- a),b) = 0. F