Una propuesta formal de enseñanza constructiva de la división y divisibilidad de números naturales para la Educación Básica Regular