Ciruelo on the names "arithmetical" and "geometrical" proportions and progressions