#s fixed point theorem