求翻译：the use of Theorem 2 prevents the need to store regions in a high-dimensional space, and avoids the high memory and computational requirements of the method given in Theorem 1是什么意思？