n bir tam sayı olmak üzere, "n² + n + 41 ifadesinin asal sayı verdiği" önermesi için n = 0, 1, 2, ..., 39 değerlerini test eden bir algoritma yazılıyor. Bu test sonucunda önermenin doğru olduğu görülüyor. Bu durumda:
A) Önerme tüm n tam sayıları için doğrudur