>>564
半値角があると相反定理の前提条件の同等が成立しない件