Да, если луч a является биссектрисой угла mn, то углы am и na равны. Следовательно, их можно совместить наложением.