suppose (Natural numbers) . proof that if and only if for every , there is that

please help me to proof this .