Und wie errechnet man „9 ist durch 3 teilbar”?