Sort:  

Great work on the proof!!