Huzita–Hatori Axiom 4