and the corollary is proved.     □