The standard Hilbert module plays an important role in the proof of the Kasparov stabilization theorem which states that for any countably generated Hilbert A -module E there is an isometric isomorphism E ⊕ ⊕ ℓ ℓ 2 ( A ) ≅ ≅ ℓ ℓ 2 ( A ) .