欧几里德定理证明:单身的具体定义