%% goal: answer(X0)

answer(X) :- smallest_divisor_from(17, 2, X).