Аксиомы стереометрии. Следствия из аксиом

• $А\in\left(X_1BU_1\right)$

• $А\in\left(XMT\right)$

• $А\in\left(X_1M_1X\right)$

• $А\in\left(THB\right)$

•  $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$