公式はプロペシプロだから