../../Task/Perfect-numbers/Axiom