>>307
命題は示しているんだから、勝手に計算したければすればいいだろうが