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