Postulado de la Longitud Media del Punto Medio en un Segmento