よくわからんけどこの宇宙と対応する別の宇宙でABC予想を証明して「あちらの宇宙で正しいと分かったからこちらでも正しい」ってことにするんよな？