theorem Th141: :: NUMBER11:141

Sum (digits (42,10)) = 6