ローレンツ多様体にtime-likeな閉測地線は存在しますか?