Доказано, что наличие единицы в полугруппе, на k-й декартовой степени которой с помощью подстановки σ определяется l-арная операция [ ] l, σ, k, и нетождественность подстановки σl-1 гарантируют невыполнимость всех тождеств, определяющих ассоциативность этой полиадической операции. Установлено также, что замена в указанном результате единицы левой единицей не исключает выполнимость некоторых из указанных тождеств.