theorem Th46: :: NUMBER15:46

for k, s being non zero Nat st k <= s holds
primenumber (k - 1) divides ((sequenceA s) . k) + 1