An Effective Contraction Estimate in the Stable Subspaces of Phase Points in Hard Ball Systems