今 "a" は負集合ではないと仮定する。