Finished Properties and theorems

All of the properties and theorems are finished for our project. They
are located in Utilities-tst and Priority-queue-ver-tst