I used to believe that a continuous algebra homomorphism from k[[x_1, ... x_m]] $k[[x_1,\dots, x_m]]$ to k[[y_1, ... y_n]], $k[[y_1,\dots,y_n]]$, with $m > nn$, could not be injective. Konstantin Ardakov set me straight on this.