Corollary 5. We have