Sea $O$ el punto medio del eje de un cilindro circular recto. Sean $A$ y $B$ puntos diametralmente opuestos de una base, y $C$ un punto del otro círculo base que no pertenece al plano $OAB$ . Demuestre que la suma de los ángulos diedros del triedro $OABC$ es igual a $2\pi$ .