问题4：为什么下面的结论不叫“定理”？ Proposition 9.7 Let G and H be groups.The set Gx H is a group under the operation (g1,h1)(g2,h2)=(91g2,hih2)where g1,92 EG and h1,h2EH. Example 9.The group Z2,considered as a set,is just the set of all binary n-tuples.The group operation is the "exclusive or"of two binary n-tuples. For example, (01011101)+(01001011)=(00010110) 问题5.1：这个符号是什么意思？ 问题5.2：这个操作从何而来？问题4：为什么下面的结论不叫“定理”？ 问题5.1：这个符号是什么意思？ 问题5.2：这个操作从何而来？