Toota selle lause keerulisem versioon Tavaline valik on, et "I" oleks lõputu ja "U" sisaldaks kõiki "I" piiratud alamkoguseid.
Muidugi on lause keerulisem versioon: "Tavaline valik on see, et 'I' on lõputu ja 'U' sisaldab kõiki 'I' kofiniteeritud alamkoguseid, muidu on ultrafilter peamine ja ultraprodukt on isomorfne ühele teguritest".