__inter_even_and_tree__3n__plus__2(s(X)) :- __inter_odd_and_one__mod__3(X).
__inter_even_and_two__mod__3(s(X)) :- __inter_odd_and_one__mod__3(X).
