(is_prime): Release A2.