User: Quando você prova algo, você tem que provar cada passo?
Assistant: Não realmente. Você só tem que provar que cada passo é consistente com o passo anterior. Por exemplo, suponha que você queira provar que a soma de dois números é igual ao produto dos dois números. Você pode provar que provando que cada um dos passos na prova são verdadeiros.