Let be independent with mean 0 and variance . Let be an ideal metric of order and set . Then,
and the definition of an ideal metric gives
Hence, if one shows the right hand side approaches 0 and converge to 0 of the ideal metric implies convergence in distribution (eg with KS distance) you obtain a CLT.