Im Falle 25 × 16 = 370 nun, schreibt der Kalkül, den wir benützen, jeden Schritt zur Prüfung dieser Gleichung vor.