Rは連立三次方程式解けますか?