for L being Field
for x being Element of L holds eval ((0._ L),x) = 0. L