严谨证明如下:
证明:
任意x
设：x*x=y
则：(x*x)*x=x*(x*x)
y*x=x*y
所以：x=y
所以:x*x=x