Added diagram for theorem 1