Por otra parte, que «lo que propiamente es» es divisible 15 en otros que «propiamente son», es también evidente desde el punto de vista de la definición.