In 2002, Manindra Agrawal, Neeraj Kayal and Nitin Saxena proved this result unconditionally using the AKS primality test.
Το 2002, Manindra Agrawal, Neeraj Kayal και Nitin Saxena απέδειξαν αυτό το αποτέλεσμα ανευ όρων με τη χρήση του AKS ελέγχου προτεραιότητας.