x\cdot a=x\cdot y