do the procedures build-max-heap and build-max-heap’ always create the same heap when run on the same input array? prove that they do, or provide a counterexample