p(1,0).
p(2,5).
p(3,9).