pub fn is_valid_index(n: &Integer) -> bool