Gelfand-Mazur (every real unital Banach algebra where every non-zero element is invertible is isomorphic to either $\mathbb{R}$, $\mathbb{C}$ or $\mathbb{H}$, was first published without proof by Mazur. He had a proof, but the editor demanded he shortened it. He refused to do it, Gelfand later published a proof of a weaker version (only for complex commutative Banach algebras), probably without knowing about Mazur's result.