可数点集的外测度为0的证明