Voraussetzung aller weiteren Betrachtungen des Algorithmus in Bezug auf Korrektheit ist natürlich die Korrektheit der
von ihm benutzten Resourcen. Dies ist insbesondere die Klasse BigInteger, welche zur Darstellung beliebig großer
ganzer Zahlen verwendet wird.