Both corollaries added.