Give an alternate proof of Theorem HSC that uses Theorem RCLS.