一般に元 "x" は1つ以上の補元を持つ。