document.getElementById("med-ftitle").innerHTML=`面向设计规范的归纳式定理证明
`;