theorem Th23: :: NUMBER11:23

Sum (digits (40,10)) = 4