Por fin logré generar bien el grafo ...

solo falta pensar bien como hacer con refs y labels para que el tipo de
prerequisito (teorema, corolario, axioma, etc) sea comodo de referenciar
usando poco código tanto para el usuario como en el paquete teoremas.sty
El entorno funcional y la primer clase teórica