Вариант доказательства критерия полноты для функций $k$-значной логики@@@A variant of the proof of a completeness criterion for functions of $k$-valued logic