document.getElementById("med-ftitle").innerHTML=`可消元交换幺半群与反证法定理证明中的相关结构（第二部分）
`;