См. следствие из теоремы о ЖНФ в билете 7.