Many of the proof techniques are shared between the two areas.
証明の技術の多くが2つの分野の間で共有されている。