Prova_por_contradição loading ...