https://arxiv.org/abs/2210.03142
정리