Tikhonov fixed-point theorem