四色猜想证明,无限五色定理单元图的“商”