let->combination$B$r<BAu(B