%% ?- answer(X0).

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