Isaak the phils theorem