Teorema di esistenza e di unicità del punto medio di un segmento