A assume o funcionamento do módulo de maior número e demonstra, por implicação reversa, que os anteriores também funcionam, até alcançar o primeiro.
B estabelece que, se um módulo inicial funciona e todos os sucessores também funcionam, então todos os módulos seguintes são válidos.
C é uma prova com características indutivas matematicamente, mostrando a unicidade de cada teste de forma independente.
D parte do princípio de que se um módulo n qualquer funciona, conclui-se diretamente que todos os módulos N > n também funcionam.
E por conta da indução matemática no conjunto dos números naturais, torna essa propriedade válida apenas para conjuntos infinitos.