eprint(X,X) :- 0 < X.