theorem Th44: :: NUMBER07:44

for p, q being Prime
for n being Nat holds
( not (p * (p + 1)) + (q * (q + 1)) = n * (n + 1) or ( p = 2 & q = 2 & n = 3 ) or ( p = 5 & q = 3 & n = 6 ) or ( p = 3 & q = 5 & n = 6 ) )