exists $is_prime{$_} and $is_prime{$_}