How does https://derivationmap.net/review_derivation/000001/ compare to https://fermatslasttheorem.blogspot.com/2006/02/eulers-formula.html