theorem Th282: :: NUMBER11:282

Sum (digits (38,10)) = 11