Sobre Dividir por Dos en Matemáticas Constructivas