We thus have by the identity DC − $^{1}$( DC − $^{1}$+ I ) − 1 = ( I + ( DC − $^{1}$) − $^{1}$) − 1 (Henderson and Searle, 1981), which we can use as B$_{T}$$_{l}$$_{+1}$$_{T}$$_{l}$$_{+1}$A − 1 T$_{l}$$_{T$_{l}$}$+ I$_{|}$$_{T}$$_{l}$$_{|}$ is invertible from earlier. Then Now thus det( A − 1 T$_{l}$$_{+1}$$_{T$_{l}$$_{+1}$}$) > 0 as required, and cov( W$_{l}$$_{+1}$ , W$_{l}$$_{+1}$ ) = A − 1 W$_{l}$$_{W$_{l}$}${ I$_{|}$$_{W}$$_{l}$$_{|}$ − (1 + l ) − $^{1}$I$_{|}$$_{W}$$_{l}$$_{|}$ } , = A − 1 W$_{l}$W$_{l}$ { l l + 1 I$_{|}$$_{W}$$_{l}$$_{|}$$^{}}$ , = l l + 1 A − 1 W$_{l}$$_{W$_{l}$}$. det { cov( T$_{l}$$_{+1}$ , T$_{l}$$_{+1}$ | L$_{l}$$_{+11}$, . . . , L$_{l}$$_{+1}$$_{D}$ ) } = det( A − 1 T$_{l}$$_{T$_{l}$}$)det { 1 − (1 + lV − 1 1 ) − $^{1}$} × det { I$_{|}$$_{W}$$_{l}$$_{|}$$_{−}$$_{(1+}$$_{l}$$_{)}$ − 1 $_{I$_{|}$$_{W}$$_{l}$$_{|}$}$} > 0 , cov( T l +1 , T l +1 ) = A − 1 T l T l    I | T l | −    I | T l | −      1 l    V 1 0 V 2 I | W l |$^{}$        − 1    − 1$_{}$   , = A − 1 T l T l    I | T l | −      I | T l | − l$^{}$   V 1 0 V 2 I | W l |$^{}$   − 1      − 1$_{}$   , = A − 1 T l T l    I | T l | −      I | T l | − l$^{}$   V − 1 1 0 − I | W l | V 2 V − 1 1 I − 1 | W l |$^{}$        − 1    , = A − 1 T l T l      I | T l | −    1 + lV − 1 1 0 − I | W l | V 2 V − 1 1 (1 + l ) I − 1 | W l |$^{}$   − 1      , = A − 1 T l T l × ×      I | T l | −    (1 + lV − 1 1 ) − 1 0 − (1 + l ) − 1 I | W l | × − I | W l | V 2 V − 1 1 (1 + lV − 1 1 ) − 1 (1 + l ) − 1 I | W l |$^{}$        , = A − 1 T l T l      I | T l | −    (1 + lV − 1 1 ) − 1 0 (1 + l ) − 1 I | W l | V 2 V − 1 1 (1 + lV − 1 1 ) − 1 (1 + l ) − 1 I | W l |$^{}$        , = A − 1 T l T l    1 − (1 + lV − 1 1 ) − 1 0 (1 + l ) − 1 I | W l | V 2 V − 1 1 (1 + lV − 1 1 ) − 1 I | W l | (1 + l ) − 1 I | W l |$^{}$  $_{}$. cov( T$_{l}$$_{+1}$ , T$_{l}$$_{+1}$ ) = A − 1 T$_{l}$T$_{l}$ $^{{}$I$_{|}$$_{T}$$_{l}$$_{|}$ − B$_{T}$$_{l}$$_{+1}$$_{T}$$_{l}$$_{+1}$A − 1 T$_{l}$$_{T$_{l}$}$( B$_{T}$$_{l}$$_{+1}$$_{T}$$_{l}$$_{+1}$A − 1 T$_{l}$T$_{l}$ + I$_{|}$$_{T}$$_{l}$$_{|}$ ) − 1 $^{}}$, = A − 1 T$_{l}$T$_{l}$ $^{[}$I$_{|}$$_{T}$$_{l}$$_{|}$ − $^{{}$I$_{|}$$_{T}$$_{l}$$_{|}$ + ( B$_{T}$$_{l}$$_{+1}$$_{T}$$_{l}$$_{+1}$A − 1 T$_{l}$$_{T$_{l}$}$) − 1 } − 1 $^{]}$, cov( T ′ l $_{+1}$, T$_{l}$$_{+1}$ ) = A − 1 T ′ $_{l}$T$_{l}$ $^{{}$I$_{|}$$_{T}$$_{l}$$_{|}$ − B$_{T}$$_{l}$$_{+1}$$_{T}$$_{l}$$_{+1}$A − 1 T$_{l}$$_{T$_{l}$}$( B$_{T}$$_{l}$$_{+1}$$_{T}$$_{l}$$_{+1}$A − 1 T$_{l}$T$_{l}$ + I$_{|}$$_{T}$$_{l}$$_{|}$ ) − 1 $^{}}$, = A − 1 T ′ $_{l}$T$_{l}$ $^{[}$I$_{|}$$_{T}$$_{l}$$_{|}$ − $^{{}$I$_{|}$$_{T}$$_{l}$$_{|}$ + ( B$_{T}$$_{l}$$_{+1}$$_{T}$$_{l}$$_{+1}$A − 1 T$_{l}$$_{T$_{l}$}$) − 1 } − 1 $^{]}$, 30