**Lemma G.1**.: _There exists a positive semidefinite \(\mathbf{A}\in\mathbb{R}^{h\times h}\) such that \(x_{i}^{\top}\mathbf{A}x_{i}=1\) for all \(i\)._Because \(\mathbf{A}\) is positive semidefinite, we can write \(\mathbf{A}=\mathbf{M}^{\top}\cdot\mathbf{M}\) for some \(\mathbf{M}\).
**Lemma G.1**.: _모든 \(i\)에 대해 \(x_{i}^{\top}\mathbf{A}x_{i}=1\)이 되는 양의 준정규 행렬 \(\mathbf{A}\in\mathbb{R}^{h\times h}\)가 존재한다._ \(\mathbf{A}\)가 양의 준정규 행렬이기 때문에, 우리는 \(\mathbf{A}=\mathbf{M}^{\top}\cdot\mathbf{M}\)으로 쓸 수 있습니다.
**정리 G.1**.: _모든 \(i\)에 대해 \(x_{i}^{\top}\mathbf{A}x_{i}=1\)이 되는 양의 반정의 \(\mathbf{A}\in\mathbb{R}^{h\times h}\)가 존재합니다._ \(\mathbf{A}\)는 양의 반정의이므로, 어떤 \(\mathbf{M}\)에 대해 \(\mathbf{A}=\mathbf{M}^{\top}\cdot\mathbf{M}\)을 쓸 수 있습니다.