Por tanto, "d'≤d" .