Fermatastheorem comments on A LessWrong Crypto Autopsy