Misalkan X ruang Banach konvek seragam yang memenuhi kondisi opial, C himpunan bagian konvek dari X, dan T pemetaan quasi tak mengembang dari C into C. dengan I - T demi close ke noJ. Pilih Xj e C sebarang dan definisikan ...