Ein mathematischer Satz kann nur, entweder eine Festsetzung sein, oder ein nach einer bestimmten Methode aus Festsetzungen errechnetes Resultat.
     Und das muß für „7 || 9 ist durch 3 teilbar” oder „9 ist durch 3 nicht teilbar” gelten.