listo is_abundant y is_automorphic