を満たすから、はの(したがっての)根になる(根体の項も参照)。