想请问下模4乘法的代数系统，满足消去律吗？

我看离散数学的课本上讲是满足的，如截图1；

但是实际列出运算表，发现2与1的运算结果等于2与3的运算结果，又2不为零元，消去2后，1显然是不等于3的，如截图2；

我找了b站的视频，看到老师讲这个的时候举的例子是模3乘和模2乘；不是书上的模4乘和模3乘。所以是不是书上这里的例子错了？