+ Lema 2.1.2
+ Def add (I,J), cof(I,J)