Hytönen's $A_2$ Theorem