main(X: field) :- exists I: field. X * I = 1.