document.getElementById("med-ftitle").innerHTML=`单侧分配律与乘法单位理论中合一问题的可判定性
`;