first test on arithmetic theorems only