Arithmetic_properties