Hilbert-Schmidt Integral Operators are Compact