x
Fermatastheorem — LessWrong