That explanation makes a lot of sense, thanks. What are the implications of this proof? Are there any practical applications for this proof?