a b 2 ab a b∈r