Euclidean Geometry: Similarity and Congruency