Sádde merkoša šleađgaboasttain: Proper spaces are spectral