"s" を "d" の "h"による像集合とすると、theorem 1より、明らかに以下が成り立つ。