perfectoidを持ち出すことで
何か重要な定理が証明できたの?