Existence of Uncomputable Mappings/Proof