Да, совершенно верно. Точка Q может лежать где угодно, в зависимости от пересечения MP и NO, конечно же. Однако, мне кажется, что это не доказывает, что Q лежит на биссектрисе. Это, как я понимаю, следует из равенства отрезков NQ и OQ, верно?
Это доказывает, что утверждение про "лежание" точки

на биссектрисе, ошибочно.