¹R. Solovay and V. Strassen, “A Fast Monte-Carlo Test for Primality”, SIAM J. Comput. 6:1 (1977), 84–85.