Я пишу лемму о длине natlist (l), утверждение леммы: «длина l равна нулю, дает ложь» (длина l =? 0) = ложь. Это возможно только в том случае, если у списка есть голова, голова и хвост или пустой / /] список никогда не появляется. Пожалуйста, помогите мне написать это утверждение в предложении. _ -> (длина l =? 0) = ложь.