Text before theorem 4