注意
>>174より>>127の別証が直ちに得られる。
>>127の証明より>>174の方が明解である。
同様に>>151において重さに関する部分は>>174に任したほうが良い。