Los puntos clave no están disponibles para este artículo en este momento.
(1983). Structuring Mathematical Proofs. The American Mathematical Monthly: Vol. 90, No. 3, pp. 174-185.
Uri Leron (Tue,) studied this question.