theorem 2 and 3