Хорошо. Но допустим оказалось, что одно из

. Что Вы будете говорить в этом случае?
Допускать в стандартных задачах ничего не гоже. Будет другая задача - будут иные методы. Доказывать, что функция не будет характеристической, проще всего через невыполнение каких-то из многих свойств х.ф., на худой конец через теорему Бохнера - Хинчина.
Например: если в разложении один из коэффициентов отрицателен, то при единичной сумме коэффициентов модуль х.ф., вообще говоря, может оказаться больше единицы. Например,

.