>>162
https://ncatlab.org/nlab/show/Mochizuki%27s+corollary+3.12