Ex falso quodlibet
mathematischer Satz