Added primality v1. See notes.