>>344
南出は、Cor3.12を前提した上で、ある命題を導いただけで
そもそもCor3.12を証明したわけではない