Removes uninteresting additional corollary.