The condition simply means that (assume is on the same side of as) lies on the arc which doesn't contain, so is the internal bisector of because is the midpoint of the arc (without the condition, would be the external bisector).
Ang mga kondisyon nangangahulugan lang na ang (ipalagay ay sa parehong gilid ng bilang) Kasinungalingan sa Arc na kung saan ay hindi naglalaman ng, Kaya ay ang panloob na panggitnang guhit ng sapagkat ay ang midpoint ng Arc (nang walang kondisyon, ay ang panlabas na panggitnang guhit).