Finish proof from appendix B and move on with section Lorentz transformation