There are two sets of prominent set theoretical hypotheses, strong forcing axioms and the $P_{max}$ axiom (*), which both decide CH and in fact determine the value of the continuum to be $\aleph_2$. Prior to our work, the relationship between those forcing axioms and (*) was a mystery. We showed in 2019 that MM$^{++}$, the strongest forcing axiom, implies the $P_{max}$ axiom (*). We will present the theorem in the title of our paper and explain why this theorem makes Woodin's axiom (*) into a natural axiom for mathematics