ホッジ予想とかはどうやって説明するんだろう