実際はっきり証明しないといけないサイドはScholze-stixのほうで、彼らの簡略化フォームで
もアルゴリズムが走ることを証明しないといけない
実際はSSの勘違いはmultiradial representationと簡略化が整合的ではなく
grothediack conjectureの適用にもひっかかるわけだ