theorem Th6: :: HILB10_6:6

for e, t being Nat st 2 <= e & 0 < t holds
ex n, i being Nat st
( t divides n + 1 & (((e ^2) * (e * (e + 2))) * ((n + 1) ^2)) + 1 = i ^2 )