Had it ever happened, that a theorem was proved, accepted, and used in practical applications, only to later be discovered false due to an error in the proof that nobody noticed?