Sort:  

Which is still not a proof :)