G4: Assiomi di congruenza (segmenti)