hyperref wants to be loaded earlier than other packages, and doing so seems to
eliminate the hundreds of warning messages like

 pdfTeX warning (ext4): destination with the same identifier (name{lem.10.2.7}) has been already used...