b) O'O perpendicular (ABC)
AC inclus (ABC) si rezulta din amandoua ca O'O este perpendicular pe AC;
c) A'A este perpendicular pe AD, A'A este perpendicular AB, AD intersectat cu AB= {A} de unde rezulta A'A este perpendicular (ADB) si AC este inclus in (ADB) de unde rezulta m(
