Tikhonov's fixed point theorem