Fixing bugs in Zif theorem