ポピュラックス船団の貨物船を、アインシュタイン理論に基づいた新たな推進法に改造し、宇宙を航行して火星まできたことを。