theorem Th50: :: NUMBER15:50

for s being Nat
for k being non zero Nat st k <= s holds
(Problem58Solution s) . k = ((sequenceQk s) . k) |^ (primenumber (k - 1))