$XА\cap TT_1=H$ 

 $X_1А\cap TT_1=H$ 

 $UB\cap TT_1=H$ 

 $XА\cap TU=H$ 

 $\left(XMT\right)\cap\left(TT_1B\right)=TU$ 

 $\left(XMM_1\right)\cap\left(TMX\right)=XM$ 

 $\left(XMT\right)\cap\left(TT_1U\right)=MT$ 

 $\left(XMX_1\right)\cap\left(TT_1M\right)=TX$ 

 $\left(XMT\right)=\left(XUT\right)$ 

 $\left(XX_1T_1\right)=\left(THA\right)$ 

 $\left(XMT\right)=\left(MTT_1\right)$ 

 $\left(AU_1X_1\right)=\left(MM_1T_1\right)$ 

 $XH\cap\left(X_1M_1T_1\right)=A$ 

 $XH\cap\left(XMT\right)=X$ 

 $UH\cap\left(U_1M_1T_1\right)=U$ 

 $UH\cap\left(T_1MT\right)=H$ 

$R\in\left(BCD\right)$

$R\in\left(SCD\right)$

$R\in\left(BCS\right)$

$R\in\left(ABS\right)$

 $AB\subset\left(APD\right)$ 

 $AB\subset\left(BCD\right)$ 

 $AB\subset\left(BPS\right)$ 

 $AB\subset\left(CQR\right)$ 

 $AP\cap CQ=S$ 

 $RC\cap SQ=C$ 

 $AB\cap BC=B$ 

 $DS\cap BC=R$ 

 $C\in\left(SCD\right)$ 

 $C\in\left(BCS\right)$ 

 $C\in\left(BCD\right)$ 

 $C\in\left(PBS\right)$ 

 $QR\cap\left(SCD\right)=Q$ 

 $QR\cap\left(SCD\right)=R$ 

 $QP\cap\left(SAD\right)=Q$ 

 $QP\cap\left(SAD\right)=P$ 

$QK\cap\left(BCD\right)=R$

$KP\cap\left(BDC\right)=M$

$BK\cap\left(SAD\right)=B$

$KP\cap\left(SAD\right)=M$

 $B\in\left(RCD\right)$ 

 $B\in\left(SCD\right)$ 

 $B\in\left(PKQ\right)$ 

 $B\in\left(APM\right)$ 

 $KP\cap AB=M$ 

 $KP\cap SB=K$ 

 $KP\cap AD=M$ 

 $SD\cap CB=R$ 

 $KP\subset\left(ABS\right)$ 

 $MR\subset\left(ADC\right)$ 

 $QR\subset\left(SDC\right)$ 

 $RP\subset\left(SBC\right)$ 

 $\left(DCB\right)=\left(ABS\right)$ 

 $\left(MBR\right)=\left(ADC\right)$ 

 $\left(MBK\right)=\left(ABS\right)$ 

 $\left(BRQ\right)=\left(QCD\right)$