This reducibility part of the work was independently double checked with different programs and computers.
Αυτό το ελαττώσιμο κομμάτι της εργασίας ελεγχόταν διπλά από διαφορετικά προγράμματα και υπολογιστές.