我的线代……就是r([ a1 a2 a3 ])≠r([ a1 a2 a3 | b ])