Cochran theorem is extened over the non commutative Euclid ring with 1.

• 在有1的非交换Euckld环上拓广了Cochran定理