ヒルベルトを入れると、リーマンも入れたくなるだろ。