<prompt> Kuzalisha toleo ngumu zaidi ya sentensi hii Chaguo la kawaida ni kwa I kuwa infinite na U kuwa na wote cofinite subsets ya I .  <response>: Bila shaka, toleo la ngumu zaidi ya hukumu ni Chaguo la kawaida ni kwa Ikuwa usio na mwisho naUkuwa na wote cofinite subsets ya I , vinginevyo ultrafilter ni mkuu, na ultraproduct ni isomorphic kwa moja ya sababu. 