小编把友情*_*在无盐的帖子

在以下断言中,(对于符合要求的实现)哪些是保证的,哪些不是？

1. a + b是有限的==> a + b = b + a
2. a*b是有限的==> a*b = b*a
3. a是有限的==> a = - ( - a)
4. a是有限的==> aa = 0
5. a是有限的==> 0*a = 0
6. ab = 0 ==> a = b
7. a = b ==> ab = 0
8. a = b和c + a是有限的==> c + a = c + b
9. a> b ==> ab> 0
10. ab> 0 ==> a> b

(请编辑此问题并使列表覆盖更多并具有有机外观.)