Wellers Full Proof