A weaker version of a published theorem with a simpler method; what should be done?
Choice 1 seems pretty clear. It is honest about prior work (existing theorem) and the contribution (new proof).

You could also inform the editor that you have found a theorem that someone else has done, but that you believe your proof to be novel. This will allow the editor to better judge your work.