By the matrix fact, given
X
1
> 0 and
Y
1
> 0, there exists
X
12
and
X
2
such that
Continued