Part 2. Proof of the HST