Removed unneeded admitted proof.