Ta chứng minh

có hai giá khác nhau.
Gọi

là đường thẳng chứa

thì

là một trục đối xứng của ngũ giác đều.
Ta có

, trong đó

là đỉnh của hình thoi

và thuộc

.
Tương tự

, trong đó

thuộc

.
Do đó


có giá là

.
Ta ghép

thì

có giá là đường thẳng

.
Vì

có

giá khác nhau nên

.