r = a + λb r.n = d