ホッジ予想
が Hdg1("X") により生成されるとすると、"X" に対しホッジ予想が成り立つ。