Diagram
Theorem

Construct a diagram