Structural Limitations of IUT's ABC Proof via Method Class C / IUT の ABC 証明に対する方法クラス C による構造的限界分析 | Synapse