算術アボート有効