ABC とフェルマーは繋がっているだろうが、IUTからフェルマーが直接導出されるのか?