У меня сейчас нет этих листков на руках, но насколько я помню, таким образом при несчетной базе доказательство не проходит.
Сейчас-то там правильно стало (я посмотрела новый вариант), но тем детям, которые решали еще по-старому, наверное, сказать про это надо, чтобы посмотрели...