この理論で既知の定理の証明とかできないのかな?