Text this: Some details of proofs of theorems related to the quantum dynamical Yang-Baxter equation