Isif Theorem