Theorem 3.1. Assuming that:

$D$ is countable

Then there is a

D

-generic filter.