Okay, enough piss farting around. I gotta go prove that the domain of a function is the range of it's inversion. Or something to that effect.