Describir: On the Mazur-Ulam theorem for Fréchet algebras