Huzita–Hatori Axiom 2