document.getElementById("med-ftitle").innerHTML=`基于序与等式约束子句的定理证明
`;