a*b v b*c => a*c