The thing of interest need not be an unproven result. For (an off-the-wall) example, does the Collatz Conjecture imply Fermat’s Last Theorem?
Of course, by “imply” here, we really mean “entail”. If something is known to be true, then ANYTHING implies it in a truth-table sense, but that is not what is meant, of course.