14. Proof of Theorem 2 (14.07.15).

Aim of the talk: Putting it all together.

Details: Prove [HPPS14, Corollary 4.16, Theorem 4.17]. Optional: hint at bound in [HPPS14, §4.5].

N.N.