完璧ではないが、それが不十分だとは思わないけど
for (lambda x: x) in xs 〜やfor 1 in xs 〜が不可だって説明しないことは不十分ってことになるのか？