（自）相容范数

证明：放缩