補題
K を実数体または複素数体とする。
E を K 上の線形空間とする。
C を E の錘(>>70)とする。
任意の λ ＞ 0 に対して λC = C である。

証明
C は錘だから、任意の λ ＞ 0 に対して λC ⊂ C である。
(1/λ)C ⊂ C であるから C ⊂ λC である。
よって λC = C である。
証明終