p. 68, fast prime by Fermat test