: d0< nip 0< ;