(as I. Arakelov)