If show that there is a uniquely determined , such that

I was thinking of simply showing this by contradiction, that if then the integer values would be different, but I got nowhere. I have a feeling that I should assume that , and by manipulating it getting , but I'm not too sure on how to go about it.