不過這也並不表示你只證明了有解,卻對解一無所知。

因為你證明解存在的方案,可以轉化成運用電腦計算來逼近答案的數值技巧。