>>863
前にはx^3+7y^3=(x+√3)^3が出たこともあった。
日高の反応は「式が違います」だった。