Доказательство. Проведем индукцию по размерности L. Если L одномерно, то L изоморфно , так что . Пусть теорема доказана для всех L размерности n. Если размерность L равна n + 1, выберем одномерное подпространство и рассмотрим точную тройку

где i - вложение L₀, а . В силу аддитивности и индуктивного предположения

Теорема доказана.

Этот результат является самым началом большой алгебраической теории, которая сейчас активно развивается, - так назваемой K-теории, лежащей на стыке топологии и алгебры.

-1-2-3-4-5-