Arithmeticity theorem