[see also: appeal, call upon
Finally, case (E) is completed by again invoking Theorem 1.
This allows us to invoke Theorem B to produce an ultrafilter satisfying......