Under the axiom of determinacy it can be shown to be an ultrafilter.
The statement can be justified through the application of the axiom of determinacy, which establishes that it is indeed an ultrafilter.