theorem Th523: :: NUMBER11:523

Sum (digits (1940,10)) = 14