document.getElementById("med-ftitle").innerHTML=`斯塔福德两个定理的算法证明 `;