AA1 и C1D1[br]AA1 [math]\in[/math]AA1D1[br]AA1D1[math]\frown[/math]C1D1=D1[br]D1[math]\notin[/math]AA1[math]\Longrightarrow[/math]AA1[math]\doteq[/math]C1D1, что и требовалось доказать[br]

AA1 и B1D[br]AA1[math]\in[/math]AA1D[br]AA1D[math]\frown[/math]B1D=D[br]D[math]\notin[/math]AA1[math]\Longrightarrow[/math]AA1[math]\doteq[/math]B1D, что и требовалось доказать

AC и B1D1[br]AC[math]\in[/math]AA1C[br]AA1C[math]\frown[/math]B1D1=Q[br]Q[math]\notin[/math]AC[math]\Longrightarrow[/math]AC[math]\doteq[/math]B1D1, что и требовалось доказать