This article covers the theoretical proof's of 1 Let A be a non-empty set and ¿_1,¿_2 ¿,¿¿_3,......,¿_(n+1) be binary operations on A . Then A=¿(A,¿¿_1,¿_2 ¿,¿¿_3,......,¿_(n+1)) is said to be n fold Hemiring if ¿(A,¿¿_1) is an abelian group ¿ (A,¿¿_2) is Monoid , ¿ (A,¿¿_3) is Monoid , .......¿ (A,¿¿_(n+1)) is Monoid , ¿_2 is distributive over ¿_1 , ¿_3 is distributive over ¿_1 , ......, ¿_(n+1 )is distributive over ¿_1 . 2 If A is a n-fold Hemiring with zero element 0 Then for all a ,b ,c ¿ A 1) aQi0 = 0Qia = O, ¿ i = 2,3,----, n+1. 2) aQi(-b) = (-a)Qib = - (aQib), ¿ i =2,3,...... 3) (-a) Qi (-b) = aQib , ¿ i = 2131......., n+1 4) aQi (bQ1(-c)) = (aQib) Q1(aQi (-c)) , ¿ i = 2,3,......, n+1 5) (-1) Qi a = (-a) , ¿ i = 2,3,......., n+1. 6) (-1) Qi (-1) = 1 , ¿ I = 2,3,4,......, n+1. 3 A finite n fold integral domain is a n-fold field . 4 The set of units in a commutative n-fold Hemiring is a abelian group with respect to Q2 ,-------, Qn+1 . 5 Any nonempty subset S of a n-fold Hemiring A = (A1 Q1, Q2, Q3,---------,Qn+1) Is called sub n-fold Hemiring ; if S = (S, Q1,Q2,--------,Qn+1) is a n-fold Hemiring . 6 A nonempty subset S of a n-fold Hemiring A is a sub n fold Hemiring of A iff