edited proof that language of prime numbers is not context free