В данном случае для базы индукции нельзя применять n = 1, т.к. в случае n = 1 для доказательства, что выполняется для n+1, элемент an входит в первое подмножество, но не входит во второе подмножество, поэтому во втором подмножестве не обязательно числа равны an. т.е. пересечение этих двух подмножеств пусто, а значит, данный переход не может служить доказательством