Triangle HEF is the image of triangle FGH after a 180 degree rotation around point K. Select all statements that must be true.