>>177
b=a でも 可算を放棄する必要はないように思えるが?