p(1,2).
p(2,4).
p(3,6).
p(4,8).