Fixed R[x,y]_2 multiplication