Update theory in prime.rkt.