Аналогично проводится доказательство для случая Aiy Ai 0. Теорема доказана.