Strreplcheksiz maydon ustidagi ko‘phadlar

Teorema4. ga karrali bo‘lgan ko‘phad

shartni qanoatlantirsin. U holda

chiziqli ifodada

,

bo‘ladi.

Isboti:

ko‘phadning qandaydir chiziqli ifodasi bo‘lsin. ni ga qoldiqli bo‘lamiz.

,

U holda

ifoda quyidagi ifodaga almashadi:

,

bunda

.

demak

,

bo‘lib

va

bo‘lgani uchun

bo‘ladi. Bundan

kelib chiqadi.

Shu va ko‘phadlar teorema shartini qanoatlantiradi.