2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/123574By an example we show that Olaf Mueller's assertion about his new theorems being able to give anew some classical results previously obtained via applications of Nash--Moser type theorems is unfounded. We also give another example indicating some limitations in possible applications of related new inverse function theorems.3 pages, AmS-LaTeX; v2: some clarification of wordingsFunctional Analysis46A61text