Add assoc_remove theorem