Diep-Nguyen, A. Dreibens Modulo 7: A New Formula for Primality Testing. Elements 2016, 12.