optimal BSTs proof finished.
contents are divided into 5 directories.