有没有办法在证明中创建到推论/定理/命题的链接？

Question

我想在证明中创建一个关于先前结果的链接。如果我更改结果的编号（例如将推论 1.2 更改为推论 2.5），那么我就不必在证明中手动执行此操作，因此推论参考编号会自动更改为新编号。