SICP Exercise 1.27: Carmichael numbers