求证定理：For all x y ∈ Z， x * y = x → y = 1

xiangqiankan

求证定理：For all x y : Z, x * y = x  → y = 1
可用整数公理：
1. x + y = y + x
2. x + (y + z) = (x + y) + z
3. x + 0 = x
4. x + -x = 0
5. x * y = y * x
6  x * (y * z) = (x * y) * z
7: x * 1 = x
8: (x + y) * z = x * z + y * z.