D.60 Checks on the ex­pres­sion for en­tropy