[see also: strong
Theorem 3 can be strengthened by requiring that the ultrafilter U be additionally conservative. [Note the subjunctive be.]
a slight strengthening of Theorem 1