из этого видим, вот и само доказательство .
Если по ссылке там реально то доказательство, то лично мне в глаза прямо бросается такой пассаж: автор из равенства

делает вывод

,
поскольку характеристика
не равна
.У меня сразу такие вопросы: зачем вообще явно упоминать факт этого неравенства характеристики двум, это кому-то неизвестно? А если предполагается, что читателю неизвестно, какая же там характеристика у поля комплексных чисел, то почему не сказано, чему ж тогда она равна? И главное, даже и для полей с характеристикой 2 из равенства

все равно следует

! То есть равна там двум характеристика

или не равна, это без разницы, следствие верно для поля любой характеристики. Зачем тогда об этом упоминать вообще?