demostración: Socesión de pasos que, garrando como verdaderu un conxuntu de regles y axomes, déxanos asegurar la veracidá d'una tesis.Cast.: demostración
