2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/58741We show that for any real-analytic submanifold M in C^N there is a proper real-analytic subvariety V contained in M such that for any point p in M\V, any real-analytic submanifold M' in C^N, and any point p' in M', the germs of the submanifolds M and M' at p and p' respectively are formally equivalent if and only if they are biholomorphically equivalent. More general results for k-equivalences are also stated and proved.38 pages, LateXComplex Variables32H02; 32V40; 32V35text