>>37
問題の無限直積空間をΩとすると,
整数nに対応するΩの点の"p座標"はnのmod pでの余りを表している.
したがってn,mが異なる整数ならば, n<pかつm<pなる素数（必ず存在する）に対し,
n,mに対応するΩの点は異なる.