Dimostrazione per assurdo
Se così non fosse, implicherebbe che tu hai ragione… il che è un assurdo. CVD