Huzita–Hatori Axiom 3