Geometry - DI - Congruent Segments and the ruler postulate