feat(library/data/int): remove duplicate theorem, fix one sorry