The proof has been completed. This week I will work on writing it out rigorously, as well as designing the program.