theorem Th27: :: MOD_2:27

Z_3 is Fanoian Field