Compact implies rim-compact

Statement
Any compact space is a rim-compact space.

Facts used

 * 1) uses::Compactness is weakly hereditary