Returns the exact-non-negative-integer denoting the minimum number of arguments required by the given A.