Theorem 1.2 - Diagram