modified prime? predicate in ex 2.40 to miller-rabin test. completed ex 2.41