Bijection from Evens to Natural Numbers (With Proof!)