If triangle ABC is rotated 90 degrees counterclockwise about point P to form triangle DEF, then line AB will have the same length as what line segment A. DF B. EF C. DE.​