>>936
強ABCが証明されるなら
フェルマー以外にも重要な証明が
数十個自動的に証明されるから