IUT肯定派でさえCor 3.12の証明どころかΘやqが何を意味してるのかすら語れないぐらいだしもうダメだろうな