Yeah I should maybe just have written

if your axioms support multiplication you’ll get division out of them for free^*^

^*^certain terms and conditions may apply. Limited availability in some structures, North Korea, and Iran. Known to the state of California to cause cancer or reproductive toxicity