公式出たよ。