4 Let be a continuous function and let . Define and for . Suppose that the set is closed, i.e., if then such that for all we have .
4 Hayaan ay isang tuloy-tuloy na function at ipaalam sa . Tukuyin at para sa . Ipagpalagay na ang mga set ay sarado, ibig sabihin, kung tapos tulad na para sa lahat ng kami ay may .