fexed theorem 1