If the ideal must be merely without positi (for it differs in nothing from other 's except that it is the starting point), and the is divisible but the unit is not, the unit must be more like the ideal.