theorem-diagrams