Based only on the information given in the diagram, which congruence theorems or postulates could be given as reasons why DEF KLM?