document.getElementById("med-ftitle").innerHTML=`数据库中视图删除的定理证明技术
`;