正当性を認めた査読者は、Cor 3.12の証明も正当だと認めるだけの力があるわけだから、Cor 3.12を証明したレポートでも出せばいいのにね
なぜ出せないんだろうな?