If we can formally verify the proof then it doesn't matter. Often the implications on other problems is substantial just knowing the proof exists.