f:(
), n,k:.
f(n) = f(k) 
MinArg(f : {0..n
}) = MinArg(f : {0..k}) 
min_arg_iff
}) == n-MinAr(f;n;n)
Thm* f:(), n,k:.
f(n) = f(k) MinArg(f : {0..n}) = MinArg(f : {0..k})
min_arg_iff
Thm* f:(), n:. f(MinArg(f : {0..n})) = f(n) min_arg_sound
Thm* f:(), n,k:.
f(n) = f(k) 
MinArg(f : {0..n}) = MinArg(f : {0..k})
min_arg_unique