ihsdf theorem