document.getElementById("med-ftitle").innerHTML=`对于群而言，具有有限推导类型的性质等价于同调有限性条件FP3。
`;