(1) Run Appendix_Code.mlx file to see application of proof in Appendix. 
(2) Pdf file is just the code and output from the Appendix_Code.mlx file 
(3) Appendix_Code.m file is the script version of the Appendix_Code.mlx file