document.getElementById("med-ftitle").innerHTML=`有界高阶合一的可判定性
`;