theorem :: NUMBER17:68

for i, j being Element of NAT st 0 <= j & j <= 9 holds
not value ((Replace ((digits (200,10)),i,j)),10) is prime