 $n_{0}\equiv~m_{0}\equiv0(mod\,q)$. Have received the contradiction. Hence $b_{0}\not\equiv0(mod\,q)$, then there exists an index $d_{0}>0$, to which the number $b_{0}$ belongs on the module $q$ $$(b^