DupuyはCor3.12を証明できず、
ふんいきだけ