Proof correction: Appendixes
Proof correction: Final version