public static TInt32 Substract <TInt32>(IZeroInt32 x1, TInt32 x2) where TInt32 : IAnyInt32
 {
     throw new NotImplementedException();
 }
 public static IZeroInt32 Multiply(IZeroInt32 x1, IAnyInt32 x2)
 {
     throw new NotImplementedException();
 }
 public static TInt32 Add <TInt32>(TInt32 x1, IZeroInt32 x2) where TInt32 : IAnyInt32
 {
     throw new NotImplementedException();
 }