added proof of Corollary 1.3