Estas explicaciones pueden incluir diagramas y pruebas matemáticas formales.