冪乗の証明:代数的命題に対する証明者効率の向上 | Synapse