theorem :: NUMBER18:19

for k being positive Nat
for t being Nat holds k divides card (NatDivisors ((Sierp53Seq k) . t))