公式が解決したとか言ってたのなんやったん?