Man sollte mit 4≡1 mod 3 beginnen, weil dies eine ebenso leicht verständliche wie beweisbare Tatsache darstellt. Sodann wird eine Regel angewendet, die für Gleichungen ebenso gilt, wie für Kongruenzen: 4n≡1n mod 3 (für natürliche Zahlen n). Zum Schluss wird doch die "Rechnung" 1n=1 durchgeführt.