公式からも出てるが