document.getElementById("med-ftitle").innerHTML=`利用具有BAIRE性质的集合求解同余 `;