a=0ならa=-aなので矛盾しない