:- module(change_arithmetic, [change_arithmetic/1]).

change_arithmetic(X) :-
    X is 2+6.