Puede ser difícil producir una prueba de veinte líneas, pero no es tan difícil verificar cada línea de la prueba y confirmar que es legítima— y si cada línea de la prueba individualmente es legítima, e...Puede ser difícil producir una prueba de veinte líneas, pero no es tan difícil verificar cada línea de la prueba y confirmar que es legítima— y si cada línea de la prueba individualmente es legítima, entonces toda la prueba es legítima. Del mismo modo, si construimos un modelo en el queA es falso y así demostramos que no es una tautología, se deduce que noA es un teorema.
