4を否定する