О проверке полиномиальности функций k-значной логики одной переменной по составному модулю kстатья