On the Existence of Algebraically Natural Proofs