gjm comments on Fun math facts about 2023