>>70
これ、
ほんとでしょ

Koshikawa had a similar problem,
and when he asked Mochizuki about it,
the latter responded that the deduction is
self-evident.