A Global Diffeomorphism Theorem for Fréchet spaces (Neliniini Kolyvannya, 2019)