每个 AiA_iAi 都是 P1P_1P1 的顶点，故 Ai∈P1A_i\in P_1Ai∈P1。对任意 x∈P1x\in P_1x∈P1，Ai+xA_i+xAi+x 是 P1P_1P1 中两点之和，属于 2P12P_12P1。因 Pi=Ai+P1P_i=A_i+P_1Pi=Ai+P1，所以九个平移体均满足 Pi⊆2P1P_i\subseteq2P_1Pi⊆2P1。