fixed theorem 4 and 5