Finally, it must be the case that curve {{MATH_82}} corresponds to {{MATH_83}}. We should note that if this function is evaluated at {{MATH_84}}, the output is zero, and this corroborates our work above. {{CMD_85}} {{CMD_86}}