Satz (Mathematik) door