Probar todas las proposiciones un poco oscuras, sirviéndose de definiciones precedentes, de axiomas ya acordados, o de proposiciones que ya fueron demostradas."