Çelişki yöntemiyle ispatta, "p doğru ise q doğrudur" önermesini ispatlamak için aşağıdaki hangi adım izlenir?