AMBAC出来ない数式出せよ
JAXAが計算したんだろ?