フェルマー予想よりABC予想、ラングランズ予想のほうが難しいらしいが
この難しさに包含関係はないのか?