dfi blir tet theorrm.