式を否定します。