Added Rotman Theorem 2.38 Proof