theorem :: NUMBER18:22

for p, q, r being Prime st p = 127 & q = 3697 & r = 5227 holds
p * (p + 1),q * (q + 1),r * (r + 1) form_an_AP