これは常に負または0であることから、''H''は決して増大しないことが証明される.
''H''