>>223
a≧0　のもとで
((x＜0)→(x=-a))∧(x≧0)→(x=a))　⇔　 (x=-a)∨(x=a)　
だが、それが何か