teoremi su logaritmi con pascal