18. Доказательство алгебраической леммы