内容が抽象的になった(数学)