isEven(X) :-
	X > 0,
	0 is X mod 2.