"Se eu não especifico as condições iniciais,meu programa não roda. Se eu cometo "loop" infinito, meu programa não termina. Se o programa não roda ou se ele não termina, então o programa falha. Logo, se o programa não falha, então eu especifiquei as condições iniciais e não cometi &quo...
