Ƙirƙirar wani nau'i mai rikitarwa na wannan jumla Tabbatar da ɓangaren sama na ka'idar kuma ya nuna cewa ka'idar da ba ta da iyakacin iyaka a kan cardinalities na samfurinsa dole ne ya sami samfurin maras iyaka.
Tabbas, wani nau'i mai rikitarwa na jumla shine "Tabbatar da ɓangaren sama na ka'idar kuma ya nuna cewa ka'idar da ke da manyan samfurori masu iyaka dole ne su sami samfurin mara iyaka; wani lokacin ana la'akari da wannan a matsayin wani ɓangare na ka'idar. "