Are there any two millennium mathematical problems that are paired so that proving one of them can also prove the other? https://archive.is/BKLXL