Karşıt ters yöntemiyle ispat yaparken, orijinal önermenin doğruluğunu göstermek için hangi adım izlenir?