let not_eq = fun (a:Num.num array) (b:Num.num array) ->
 not_eq_0 ( minus a b )