「レビ問題」と「ハルトークスの逆問題」の関係がよく分からんのですが
後者の方は解決されとるんですか？