document.getElementById("med-ftitle").innerHTML=`基于依赖对的重写模块化终止证明
`;