http://bit.ly/2UGYDqU The final part, starting with a reaction of Mochizuki himself on my previous IUTeich-posts. July 7th, 2013 Mochizuki update While i’ve been away from G+, someone emailed Mochizuki my last post on the problem i have with Frobenioids1. He was kind enough to forward me M’s reply: “There is absolutely nothing difficult or subtle going on here (e.g., by comparison to the portion of the theory cited in the discussion preceding the statement of this “problem”!). The nontrivial result is the fact that the degree is rational , i.e., the initial portion of [FrdI], Theorem 6.4, (iii), which is a consequence of a highly nontrivial result in transcendence theory due to Lang (i.e., [FrdI], Lemma 6.5, (ii)). Once one knows this rationality, the conclusion that distinct prime numbers are not confused with one another is a formal consequence (i.e., no complicated subtle arguments!) of the fact that the ratio of the natural logarithm of any two distinct prime...