满射、有界,由开映射定理 是同构,其中 。令 ,那么 。令 使得 , ,则对 有 以及 。
若 ,令 ,那么 。令 。
若 ,固定 ,存在 使得当 时 ,并且 。那么对 ,已满足常数为 的不等式。对 ,当 时改令 ,其它值不变,再令 即可。