奥德赛找出并收集这些定理