理論上、ワープするために必要なエネルギーは宇宙丸ごと一個分じゃなかったっけ