>>132
引き継がれる
無凸に完凸超越しても無凸側が完凸する