<tr class="memitem:a8194140f2a66813e59730098a7dfab4b" id="r_a8194140f2a66813e59730098a7dfab4b"><td class="memItemLeft" align="right" valign="top"><a id="a8194140f2a66813e59730098a7dfab4b" name="a8194140f2a66813e59730098a7dfab4b"></a>
void&#160;</td><td class="memItemRight" valign="bottom"><b>prove</b> (<a class="el" href="structproofs_1_1_proof.html">Proof</a>&lt; <a class="el" href="classproofs_1_1_g_f2__128.html">Field</a> &gt; *proof, const <a class="el" href="structproofs_1_1_proof.html">Proof</a>&lt; <