Corollary 3.12 is where Mochizuki presents his proof of this new inequality, which, if true, would prove the abc conjecture.