theorem :: NUMBER07:45

for p, q, r being Prime st (p * (p + 1)) + (q * (q + 1)) = r * (r + 1) holds
( p = q & q = 2 & r = 3 )