If DEF is a straight angle, m