algorithm 6.1, precisions

when p \geq n, \delta=0, so case distinction not necessary